Section: Partnerships and Cooperations

International Initiatives

Participation In other International Programs

TAAS

• Program: Foundation Araucaria Inria Brazil

• Title: Software testing for cloud computing

• Inria principal investigator: Gerson SUNYE

• International Partner (Institution - Laboratory - Researcher):

  • Federal University of Parana (Brazil) - Gerson SUNYE

• Duration: Jul 2011 - Jun 2013

SPLIT

• Program: International joint supervision of PhD agreement

• Title: Aspect-oriented modeling and software product line

• Inria principal investigator: Jean-Marc JEZEQUEL

• International Partner (Institution - Laboratory - Researcher):

  • University of Luxembourg (Luxembourg) - Jean-Marc JEZEQUEL

• Duration: Apr 2010 - Mar 2013

• See also: http://www.fnr.lu/fr/Research-Programmes/Research-Programmes/Projects/Combine-Software-Product-Line-and-Aspect-Oriented-Software-Development-SPLIT

• Combine Software Product Line and Aspect-Oriented Software Development - SPLIT

MBSAR

• Program: CNRS PICS

• Title: Model-Based Security Analysis at Runtime (MBSAR)

• Inria principal investigator: Benoit Combemale

• International Partner (Institution - Laboratory - Researcher):

  • Colorado State University (USA) - Software Assurance Lab - Robert B. France

• Duration: Jan 2013 - Dec 2015

• See also: http://gemoc.org/mbsar/

• MBSAR develop model-based techniques for runtime analysis and enforcement of security policies in adaptive software systems.